Photochromic molecular implementations of universal computation
نویسندگان
چکیده
منابع مشابه
Universal Molecular Computation in Ciliates
How do cells and nature \compute"? They read and \rewrite" DNA all the time, by processes that modify sequences at the DNA or RNA level. In 1994, Adleman's elegant solution to a seven-city Directed Hamiltonian Path problem using DNA 1] launched the new eld of DNA computing, which in a few years has grown to international scope. However, unknown to this eld, ciliated protozoans of genus Oxytrich...
متن کاملTowards a Universal Building Block of Molecular and Silicon Computation
The next two decades will bring us silicon computation resources that seem unimaginable today. Advances in lithographic technology will enable devices with ten billion transistors and beyond. Surprisingly, the challenges that face traditional silicon computing are eerily similar to those molecular and other nanoscale devices must confront. The solution we propose for scalable silicon, the compu...
متن کاملUniversal neural field computation
Turing machines and Gödel numbers are important pillars of the theory of computation. Thus, any computational architecture needs to show how it could relate to Turing machines and how stable implementations of Turing computation are possible. In this chapter, we implement universal Turing computation in a neural field environment. To this end, we employ the canonical symbologram representation ...
متن کاملThe Myth of Universal Computation
It is shown that the concept of a Universal Computer cannot be realized. Speci cally, instances of a computable function F are exhibited that cannot be computed on any machine U that is capable of only a nite and xed number of operations per step. This remains true even if the machine U is endowed with an in nite memory and the ability to communicate with the outside world while it is attemptin...
متن کاملVerified Implementations for Secure and Verifiable Computation
Formal verification of the security of software systems is gradually moving from the traditional focus on idealized models, to the more ambitious goal of producing verified implementations. This trend is also present in recent work targeting the verification of cryptographic software, but the reach of existing tools has so far been limited to cryptographic primitives, such as RSA-OAEP encryptio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biosystems
سال: 2014
ISSN: 0303-2647
DOI: 10.1016/j.biosystems.2014.09.004